Behaviour abstraction adequacy criteria for API call protocol testing

Adequacy Criteria for Object Testing

In this report, criteria for adequacy measurement for objects in OO software are presented. Coverage criteria that address internal object structure have been developed. These criteria include coverage of direct and indirect inter-method ows in addition to internal method control ows. Results from the analysis of a commercial system developed in C++ support the theory that coverage analysis bas...

Some Criteria for Acceptable Abstraction

where the variables α and β range over entities of some sort, and where ∼ is an equivalence relation on this sort of entity. Frege’s inconsistent Basic Law V shows that not every such principle is acceptable. A variety of criteria for acceptable abstraction have been proposed.1 In this note I analyze the logical relations between some of the proposed criteria, in particular conservativeness, ir...

Developing Test Adequacy Criteria for OO Software

Test adequacy criteria for UML design models

Systematic design testing, in which executable models of behaviours are tested using inputs that exercise scenarios, can help reveal flaws in designs before they are implemented in code. In this paper a technique for testing executable forms of UML (Unified Modelling Language) models is described and test adequacy criteria based on UML model elements are proposed. The criteria can be used to de...

Distributed API Protocol Mining

Dynamic Protocol Mining (DPM) techniques are a promising approach to infer useful API protocols automatically. However, their results are biased to input test cases and the instrumentation overhead discounts their usability in industrial practice. In this paper, we propose a distributed dynamic protocol mining framework NSpecMiner. Our framework is based on a client-server architecture, where t...